class start {
  __attribute__ ((annotate ("an annotation"))) ~start();
};
